Developing program theory for purveyor programs

Developing program theory for purveyor programs

BACKGROUND Frequently, social interventions produce less for the intended beneficiaries than was initially planned. One possible reason is that ideas embodied in interventions are not self-executing and require careful and systematic translation to put into practice. The capacity of implementers to deliver interventions is thus paramount. Purveyor organizations provide external support to imple...

Developing Certiied Programs in the System Coq the Program Tactic Developing Certiied Programs in the System Coq the Program Tactic

The system Coq is an environment for proof development based on the Calculus of Constructions extended by inductive deenitions. Functional programs can be extracted from constructive proofs written in Coq. The extracted program and its corresponding proof are strongly related. The idea in this paper is to use this link to have another approach: to give a program and to generate automatically th...

Developing Certified Programs in the System Coq - The Program Tactic

The system Coq is an environment for proof development based on the Calculus of Constructions extended by inductive deenitions. The speciication of a program can be represented by a logical formula and the program itself can be extracted from the constructive proof of the speciication. In this paper, we look at the possibility of inverting the extraction process. More precisely, we present a me...

Program Visualisation for Visual Programs

developing a pattern based on speech acts and language functions for developing materials for the course “ the study of islamic texts translation”

هدف پژوهش حاضر ارائه ی الگویی بر اساس کنش گفتار و کارکرد زبان برای تدوین مطالب درس "بررسی آثار ترجمه شده ی اسلامی" می باشد. در الگوی جدید، جهت تدوین مطالب بهتر و جذاب تر، بر خلاف کتاب-های موجود، از مدل های سطوح گفتارِ آستین (1962)، گروه بندی عملکردهای گفتارِ سرل (1976) و کارکرد زبانیِ هالیدی (1978) بهره جسته شده است. برای این منظور، 57 آیه ی شریفه، به صورت تصادفی از بخش-های مختلف قرآن انتخاب گردید...